توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی

نویسندگان

  • سعید جلیلی دانشکده‌ فنی و مهندسی - گروه کامپیوتر - دانشگاه تربیت مدرس
  • سید مرتضی بابامیر دانشکده‌ فنی و مهندسی - گروه کامپیوتر - دانشگاه تربیت مدرس
چکیده مقاله:

راستی‌آزمایی پویا، که به راستی‌آزمایی رفتار حین اجرای نرم‌افزار در برابر نیازهای اولیه‌ی آن می‌پردازد، با چالش‌های ساخت راستی‌آزمای رفتار اجرایی نرم‌افزار و نگاشت بین این رفتار و رخدادهای محیطی مواجه است. ما در این نوشتار رویکردی بنام توصیف مبتنی بر رخداد (E‌B‌V) را ارائه می‌دهیم که طی چهار مرحله راه‌حلی خودکار برای این چالش‌ها ارائه می‌کند. در مرحله‌ی اول، مستندسازی نیازها، مشتمل بر تعامل محیط و نرم‌افزار، را با روش P‌a‌r‌n‌a‌s مدل می‌کنیم و در مرحله‌ی دوم با استفاده از نگاشت‌های سه‌گانه، کمیت‌های مدل را به توصیف‌های سطح بالا و مبتنی بر رخداد که برحسب منطق حساب رخداد اظهار می‌شوند، نگاشت می‌کنیم. در مرحله‌ی سوم با استفاده از نگاشت‌های هفت‌گانه توصیف‌های مبتنی بر رخداد را به توصیف‌های سطح میانی نیازها که یک توصیف مبتنی بر حالت است، نگاشت می‌کنیم. این توصیف، مرجعی برای راستی‌آزمایی حالات درست و قابل انتظار نرم‌افزار به‌وسیله‌ی برنامه‌ی راستی‌آزما است. در مرحله‌ی چهارم با بهره‌گیری از الگوی طراحی حالت به پیاده‌سازی توصیف حالات می‌پردازیم. با طی این چهار مرحله، و با فراهم آوردن تناظر بین رخدادهای محیطی سطح بالا و فعالیت‌های اجرایی و سطح پایین نرم‌افزار، راستی‌آزما را می‌سازیم. به‌منظور اثبات عملی‌بودن توصیف مبتنی بر رخداد (E‌B‌V) ساخت راستی‌آزمای رفتار اجرایی را برای یک نرم‌افزار حساس به ایمنی از روی توصیف نیازها نشان می‌دهیم و آن را تا مرحله‌ی پیاده‌سازی دنبال می‌کنیم.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ارائه رویکردی نوین و خودکار به منظور تولید داده های تست مبتنی بر روشهای تصادفی

فرآیند تست 50% کل هزینه توسعه نرم افزار را شامل می شود. به منظور تست نرم افزار، باید مجموعه ای از داده‌های تست ایجاد شوند که تولید این مجموعه، کاری بسیار زمانبر بوده و تاثیر مستقیمی بر هزینه فرآیند تست خواهد داشت. بدون خودکارسازی، این فرآیند، کند، پرهزینه و همراه با خطا خواهد بود. در این مقاله روش جدیدی به منظور تولید داده های تست بر مبنای الگوریتمهای تصادفی با ترکیب روشهای ایستا و پویا ارائه ش...

متن کامل

رویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی

از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...

متن کامل

تدوین مدلی برای ساخت برند اجتماعی: رویکردی نوین به برندسازی

شرکت‌ها با چالشی جدی در ارتباط با فعالیت‌های برندسازی مواجه شده‌اند، چراکه ازیک‌طرف مصرف‌کنندگان نسبت به فعالیت‌های برندسازی بدبین شده‌اند و از طرف دیگر رقابت شدید موجب شده تا شرکت‌ها به‌دنبال ابزاری برای پایداری مزیت رقابتی خود باشند. اگرچه برخی از پژوهش‌ها به اهمیت مسئولیت اجتماعی به‌عنوان یکی از ابزارهای اجتماعی غالب در فعالیت‌های برندسازی اشاره کرده‌اند، اما تحقیق زیادی در خصوص اینکه چگونه ...

متن کامل

ارائه رویکردی نوین و خودکار به منظور تولید داده های تست مبتنی بر روشهای تصادفی

فرآیند تست 50% کل هزینه توسعه نرم افزار را شامل می شود. به منظور تست نرم افزار، باید مجموعه ای از داده های تست ایجاد شوند که تولید این مجموعه، کاری بسیار زمانبر بوده و تاثیر مستقیمی بر هزینه فرآیند تست خواهد داشت. بدون خودکارسازی، این فرآیند، کند، پرهزینه و همراه با خطا خواهد بود. در این مقاله روش جدیدی به منظور تولید داده های تست بر مبنای الگوریتمهای تصادفی با ترکیب روشهای ایستا و پویا ارائه ش...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره دوره 23  شماره 38 - ویژه مهندسی برق و کامپیوتر

صفحات  81- 101

تاریخ انتشار 2007-06-22

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

کلمات کلیدی

-

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023